Auto generated release notes:

What's Changed

• Edit quantifiers' documentation. by @thanhnguyen-aws in Edit quantifiers' documentation. #4142
• Fix the bug of using multiple hidden variables for the prev of the same Expr by @thanhnguyen-aws in Fix the bug of using multiple hidden variables for the prev of the same Expr #4150
• Remove assess subcommand by @carolynzech in Remove assess subcommand #4111
• Optimize goto binary exporting in cprover_bindings by @AlexanderPortland in Optimize goto binary exporting in cprover_bindings #4148
• Add the option to generate performance flamegraphs by @AlexanderPortland in Add the option to generate performance flamegraphs #4138
• Fix the bug: Static union values can panic Kani by @thanhnguyen-aws in Fix the bug: Static union values can panic Kani #4112
• Update toolchain to 2025-06-13 by @carolynzech in Update toolchain to 2025-06-13 #4152
• Automatic cargo update to 2025-06-16 by @github-actions in Automatic cargo update to 2025-06-16 #4156
• Major-version update cargo dependencies by @tautschnig in Major-version update cargo dependencies #4158
• Upgrade Rust toolchain to 2025-06-16 by @tautschnig in Upgrade Rust toolchain to 2025-06-16 #4157
• Bump tests/perf/s2n-quic from 3129ad5 to c6e694e by @dependabot in Bump tests/perf/s2n-quic from 3129ad5 to c6e694e #4160
• Bump tests/perf/s2n-quic from c6e694e to b1b5bf8 by @dependabot in Bump tests/perf/s2n-quic from c6e694e to b1b5bf8 #4164
• Upgrade Rust toolchain to 2025-06-17 by @tautschnig in Upgrade Rust toolchain to 2025-06-17 #4163
• Automatic cargo update to 2025-06-23 by @github-actions in Automatic cargo update to 2025-06-23 #4172
• Stub panics during MIR transformation by @AlexanderPortland in Stub panics during MIR transformation #4169
• Bump tests/perf/s2n-quic from b1b5bf8 to 32ba87d by @dependabot in Bump tests/perf/s2n-quic from b1b5bf8 to 32ba87d #4175
• Handle enums with zero or one variants by @zhassan-aws in Handle enums with zero or one variants #4171
• Introduce compiler timing script & CI job by @AlexanderPortland in Introduce compiler timing script & CI job #4154
• Upgrade Rust toolchain to 2025-06-18 by @tautschnig in Upgrade Rust toolchain to 2025-06-18 #4166
• Cache dependencies for CI jobs by @AlexanderPortland in Cache dependencies for CI jobs #4181
• Autoharness: Derive Arbitrary for structs and enums by @carolynzech in Autoharness: Derive Arbitrary for structs and enums #4167
• Upgrade Rust toolchain to 2025-06-27 by @tautschnig in Upgrade Rust toolchain to 2025-06-27 #4182
• Include wget in dependencies by @zhassan-aws in Include wget in dependencies #4183
• Automatic cargo update to 2025-06-30 by @github-actions in Automatic cargo update to 2025-06-30 #4186
• Add support for loop assigns in loop contracts by @thanhnguyen-aws in Add support for loop assigns in loop contracts #4174
• Upgrade toolchain to 06/30 by @carolynzech in Upgrade toolchain to 06/30 #4188
• Optimize reachability with non-mutating global passes by @AlexanderPortland in Optimize reachability with non-mutating global passes #4177
• Bump tests/perf/s2n-quic from 32ba87d to b8f8cca by @dependabot in Bump tests/perf/s2n-quic from 32ba87d to b8f8cca #4190
• Bump ncipollo/release-action from 1.16.0 to 1.18.0 by @dependabot in Bump ncipollo/release-action from 1.16.0 to 1.18.0 #4191
• Upgrade toolchain to 07/02 by @carolynzech in Upgrade toolchain to 07/02 #4195
• Automatic Derivation Fixes by @carolynzech in Automatic Derivation Fixes #4194

Full Changelog: kani-0.63.0...kani-0.64.0

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.